Control flow analysis - PDFSEARCH.IO - Document Search Engine

Control flow analysis
Results: 217

#	Item
71	StackAnalyzer for TriCore StackAnalyzer automatically determines the worst-case stack usage of the tasks in your application. The analysis results of the analyzed binary executable are shown as annotations in the call gr Add to Reading List Source URL: www.absint.com Language: English - Date: 2015-01-19 06:15:30 Computing Infineon TriCore Embedded system Call graph Compiler GNU Compiler Collection Control flow graph Software Programming language implementation Compiler construction
72	StackAnalyzer for LEON3 StackAnalyzer automatically determines the worst-case stack usage of the tasks in your application. The analysis results of the analyzed binary executable are shown as annotations in the call grap Add to Reading List Source URL: www.absint.com Language: English - Date: 2015-01-19 06:15:30 Compiler construction LEON Call graph GNU Compiler Collection Compiler GNAT Linux Control flow graph Software Computing Programming language implementation
73	The Semantics of Scheme Control-Flow Analysis Olin Shivers School of Computer Science Carnegie Mellon Pittsburgh, Pennsylvania 15213 Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:31 Functional programming Models of computation Logic in computer science Lambda calculus Programming language semantics Continuation-passing style Denotational semantics Free variables and bound variables Closure Software engineering Computing Computer programming
74	Introduction to Computing: Explorations in Language, Logic, and Machines Add to Reading List Source URL: www.computingbook.org Language: English - Date: 2011-08-19 11:52:34 Control flow Procedural programming languages High-level programming languages Python Eval Assignment Conditional Lexical analysis Scheme Software engineering Computing Computer programming
75	DOMINANCE THEOREMS AND ERGODIC PROPERTIES OF POLLING SYSTEMS1 S. G. Foss and N. I. Chernova We consider a class of polling systems with stationary ergodic input flow such that the control in a system obeys a certain rege Add to Reading List Source URL: math.nsc.ru Language: English - Date: 2005-09-16 03:23:50 Calculus Continuous function Markov chain Ergodic theory Mathematics Control theory Itō diffusion Μ operator Mathematical analysis Markov models Stochastic differential equations
76	Symbolic Interpretation of Legacy Assembly Language Jacques Carette, Pulak Kumar Chowdhury Dept. of Computing and Software McMaster University Hamilton, Ontario L8S 4K1 Abstract Add to Reading List Source URL: www.cas.mcmaster.ca Language: English - Date: 2005-11-14 17:37:09 Models of computation Logic in computer science Programming language semantics Compiler construction Programming language implementation Data-flow analysis Denotational semantics Assembly language Control flow graph Theoretical computer science Computing Software engineering
77	StackAnalyzer for LEON2 StackAnalyzer automatically determines the worst-case stack usage of the tasks in your application. The analysis results of the analyzed binary executable are shown as annotations in the call grap Add to Reading List Source URL: www.absint.com Language: English - Date: 2015-01-19 06:15:30 Compiler construction LEON Call graph GNU Compiler Collection Compiler GNAT Linux Control flow graph Software Computing Programming language implementation
78	Business Process Trends Advisor Add to Reading List Source URL: www.bptrends.com Language: English - Date: 2014-01-07 08:22:40 Systems theory Systems science Process management Enterprise modelling Business Process Model and Notation IDEF0 Process Redesign Control flow diagram Unified Modeling Language Diagrams Systems analysis Systems engineering
79	Carnegie Mellon School of Computer Science Scheme Flow Analysis Note Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:06:07 Elementary mathematics Lambda calculus Data types Environmental science Parameter Static single assignment form Function Data-flow analysis Control flow analysis Mathematics Software engineering Variables
80	Scheme Flow Analysis Lastref information provides just enough information to disentangle the multiple environments that can be created over a given variable. If we had lastref information, we could, for example, correct Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:10 Control flow Lambda calculus Subroutines Functional languages Lisp programming language Closure Lisp Continuation-passing style Scheme Software engineering Computing Computer programming

UPDATE